Dines Bjørner : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (74)
Les plus populaires
Liste
- Liste
- Tableau

1

Software engineering education: Rôles of formal specification and design calculi

Dines Bjørner, Jorge R. Cuéllar

Journal:

Annals of Software Engineering

Année:

1998

Langue:

english

Fichier:

PDF, 258 KB

english, 1998

2

Pinnacles of software engineering: 25 years of formal methods

Journal:

Annals of Software Engineering

Année:

2000

Langue:

english

Fichier:

PDF, 358 KB

english, 2000

3

To every manifest domain a CSP expression – a rôle for mereology in computer science

Bjørner, Dines

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2018

Langue:

english

Fichier:

PDF, 650 KB

english, 2018

4

[Monographs in Theoretical Computer Science] Logics of Specification Languages || The Specification Language TLA+

Bjørner, Dines, Henson, Martin C.

Année:

2008

Langue:

english

Fichier:

PDF, 574 KB

english, 2008

5

Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS

Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund

Journal:

Future Generation Computer Systems

Année:

1992

Langue:

english

Fichier:

PDF, 2.14 MB

english, 1992

6

John Warner Backus: 3 Dec 1924–17 March 2007

Journal:

Formal Aspects of Computing

Année:

2008

Langue:

english

Fichier:

PDF, 117 KB

english, 2008

7

Flowchart machines

Journal:

BIT Numerical Mathematics

Année:

1970

Langue:

english

Fichier:

PDF, 1.65 MB

english, 1970

8

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 1181 || Algebraic semantics of the Oberon target machine

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1996

Langue:

english

Fichier:

PDF, 713 KB

english, 1996

9

[Lecture Notes in Computer Science] The Vienna Development Method: The Meta-Language Volume 61 || On the formalization of programming languages: Early history and main approaches

Bjørner, Dines, Jones, Cliff B.

Année:

1978

Langue:

english

Fichier:

PDF, 1.33 MB

english, 1978

10

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 ||

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Année:

2001

Langue:

english

Fichier:

PDF, 5.24 MB

english, 2001

11

[Monographs in Theoretical Computer Science] Logics of Specification Languages || Z Logic and Its Applications

Bjørner, Dines, Henson, Martin C.

Année:

2008

Langue:

english

Fichier:

PDF, 1.25 MB

english, 2008

12

Manifest domains: analysis and description

Bjørner, Dines

Journal:

Formal Aspects of Computing

Année:

2017

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2017

13

Formal Software Techniques for Railway Systems

Bjørner, Dines

Journal:

IFAC Proceedings Volumes

Année:

2000

Langue:

english

Fichier:

PDF, 1.89 MB

english, 2000

14

Dynamics of Railway Nets

Bjørner, Dines

Journal:

IFAC Proceedings Volumes

Année:

2003

Langue:

english

Fichier:

PDF, 613 KB

english, 2003

15

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Efficient chaotic iteration strategies with widenings

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 762 KB

english, 1993

16

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Predicative programming — A survey

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 946 KB

english, 1993

17

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Complexity of probabilistic versus deterministic automata

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 2.24 MB

english, 1991

18

Preface

Journal:

Theoretical Computer Science

Année:

1991

Langue:

english

Fichier:

PDF, 66 KB

english, 1991

19

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Algebraic calculation of graph and sorting algorithms

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 803 KB

english, 1993

20

A flow-mode, self-steering, cellular multiplier-summation processor

Journal:

BIT Numerical Mathematics

Année:

1970

Langue:

english

Fichier:

PDF, 1.14 MB

english, 1970

21

Facets of software development

Journal:

Journal of Computer Science and Technology

Année:

1989

Langue:

english

Fichier:

PDF, 566 KB

english, 1989

22

Preface for the special issue

Journal:

New Generation Computing

Année:

1988

Langue:

english

Fichier:

PDF, 104 KB

english, 1988

23

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || A Systematic Approach towards Object-Based Petri Net Formalisms

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Année:

2001

Langue:

english

Fichier:

PDF, 179 KB

english, 2001

24

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 1.06 MB

english, 1993

25

[Monographs in Theoretical Computer Science] Logics of Specification Languages || The event-B Modelling Method: Concepts and Case Studies

Bjørner, Dines, Henson, Martin C.

Année:

2008

Langue:

english

Fichier:

PDF, 914 KB

english, 2008

26

[Monographs in Theoretical Computer Science] Logics of Specification Languages ||

Bjørner, Dines, Henson, Martin C.

Année:

2008

Langue:

english

Fichier:

PDF, 5.08 MB

english, 2008

27

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - A survey of domain engineering

Année:

2012

Langue:

english

Fichier:

PDF, 87 KB

english, 2012

28

[IEEE 11th Annual Symposium on Switching and Automata Theory (swat 1970) - USA (1970.10.28-1970.10.30)] 11th Annual Symposium on Switching and Automata Theory (swat 1970) - The synthesis of finite state syntax directed top-down and bottom-up transducers

Année:

1970

Langue:

english

Fichier:

PDF, 1.08 MB

english, 1970

29

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || Equivalent Transformation by Safe Extension of Data Structures

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Année:

2001

Langue:

english

Fichier:

PDF, 277 KB

english, 2001

30

[IEEE 2008 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2008.03.31-2008.04.4)] 2008 IEEE/ACS International Conference on Computer Systems and Applications - Formal digital license language with OTS/CafeOBJ method

Jianwen Xiang,, Dines Bjorner,, Kokichi Futatsugi,

Année:

2008

Langue:

english

Fichier:

PDF, 337 KB

english, 2008

31

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || Integrating and Managing Conflicting Data

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Année:

2001

Langue:

english

Fichier:

PDF, 195 KB

english, 2001

32

[IEEE 2007 International Conference on Wireless Communications, Networking and Mobile Computing - Shanghai, China (2007.09.21-2007.09.25)] 2007 International Conference on Wireless Communications, Networking and Mobile Computing - A License Language Design and Analysis for E-Government

Chen, Xiaoyi, Xiang, Jianwen, Bjorner, Dines, Futatsugi, Kokichi

Année:

2007

Langue:

english

Fichier:

PDF, 172 KB

english, 2007

33

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || Unfoldings of Coloured Petri Nets

Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V.

Année:

2001

Langue:

english

Fichier:

PDF, 199 KB

english, 2001

34

[ACM Press the November 17-19, 1970, fall joint computer conference - Houston, Texas (1970.11.17-1970.11.19)] Proceedings of the November 17-19, 1970, fall joint computer conference on - AFIPS '70 (Fall) - Finite state automation

Bjørner, Dines

Année:

1970

Langue:

english

Fichier:

PDF, 1.38 MB

english, 1970

35

[ACM Press the 14th international conference - Melbourne, Australia (1992.05.11-1992.05.15)] Proceedings of the 14th international conference on Software engineering - ICSE '92 - Trusted computing systems

Bjørner, Dines

Année:

1992

Langue:

english

Fichier:

PDF, 2.07 MB

english, 1992

36

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Observing some properties of event structures

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 535 KB

english, 1993

37

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Logic program testing based on abstract interpretation

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 586 KB

english, 1993

38

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Algebraic modelling of imperative languages with pointers

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 904 KB

english, 1993

39

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Formal derivation of an error-detecting distributed data scheduler using Changeling

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 842 KB

english, 1993

40

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || REAL92: A combined specification language for real-time concurrent systems and properties

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 765 KB

english, 1993

41

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive inference of recursive functions: Qualitative theory

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 1.96 MB

english, 1991

42

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Toward knowledge-based specifications of languages

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 607 KB

english, 1991

43

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || The programming system PRIZ

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 968 KB

english, 1991

44

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive synthesis of dot expressions

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 2.82 MB

english, 1991

45

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Inductive inference of recursive functions: Complexity bounds

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 2.15 MB

english, 1991

46

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Type-theoretical semantics of some declarative languages

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 561 KB

english, 1991

47

[Lecture Notes in Computer Science] Baltic Computer Science Volume 502 || Using resolution for deciding solvable classes and building finite models

Bārzdinš, Janis, Bjørner, Dines

Année:

1991

Langue:

english

Fichier:

PDF, 1.58 MB

english, 1991

48

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Automatical synthesis of programs with recursions

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 394 KB

english, 1993

49

[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Parsing in Isbes

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.

Année:

1993

Langue:

english

Fichier:

PDF, 528 KB

english, 1993

50

On a formal model of the tasking concept in Ada

Løvengreen, Hans Henrik, Bjørner, Dines

Journal:

ACM SIGPLAN Notices

Année:

1980

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1980